41.56/44.23	unsat
