5.73/6.28	unsat
