10.47/10.56	unsat
