753.62/759.65	unsat
