766.93/769.33	unsat
