46.20/47.40	unsat
