303.59/307.28	unsat
