47.00/47.40	unsat
