5.27/5.79	unsat
