12.55/12.66	unsat
