48.21/49.66	unsat
