3.99/4.06	unsat
