3.98/6.01	unsat
