11.96/14.50	unsat
