46.84/47.77	unsat
