45.60/47.66	unsat
