4.89/6.17	unsat
