347.88/347.91	unsat
