45.29/49.46	unsat
