46.06/47.01	unsat
