18.46/25.48	unsat
