5.74/5.79	unsat
