177.78/295.25	unsat
