11.60/13.43	unsat
