5.89/6.30	unsat
