12.72/14.83	unsat
