12.47/12.56	unsat
