5.46/5.52	unsat
