5.89/6.18	unsat
