43.19/49.23	unsat
