4.48/6.06	unsat
