12.56/14.24	unsat
