4.77/6.89	unsat
