12.35/14.00	unsat
