771.33/774.03	unsat
