9.84/13.76	unsat
