43.42/44.03	unsat
