4.28/6.06	unsat
