12.92/14.21	unsat
