5.32/5.79	unsat
