5.89/10.91	unsat
