4.77/5.86	unsat
