3.98/5.86	unsat
