12.46/12.56	unsat
