15.24/22.00	unsat
