46.85/48.03	unsat
