12.27/14.92	unsat
