142.41/144.03	unsat
