4.77/5.07	unsat
