4.45/6.06	unsat
