5.89/5.95	unsat
