12.56/15.66	unsat
