12.36/12.46	unsat
