12.56/12.66	unsat
