47.13/47.40	unsat
