295.87/303.39	unsat
