41.44/44.54	unsat
