18.77/21.65	unsat
