15.54/19.12	unsat
