343.69/348.39	unsat
