27.53/31.66	unsat
