393.41/396.08	unsat
