3.77/7.86	unsat
