6.45/11.24	unsat
